halting problem complete proof